fib :: Integer -> Integer
fib 0 = 0
fib 1 = 1
fib (n+2) = fib (n) + fib (n+1)